Interval-valued Epistemic (IVE) Fluents
نویسنده
چکیده
We have developed a syntactic approach to representing knowledge within the situation calculus using interval arithmetic. Knowledge was first incorporated into the situation calculus using a possible-worlds approach. Unfortunately, this previous approach is not amenable to easy implementation. This is because it is not clear how to specify the initial situation as the number of possible worlds is potentially uncountable. We solve this problem by using interval-valued epistemic (IVE) fluents to represent the agent’s knowledge of its world. With respect to the previous possible worlds approach, our approach is provably sound and (sometimes) complete.
منابع مشابه
Comparing uncertainty data in epistemic and ontic sense used to decision making problem
In the paper aspect of comparability alternatives in decision making problem by imprecise or incomplete information isexamined. In particular, new definitions of transitivity based on the measure of the intensity preference between pairsof alternatives in epistemic and ontic case is presented and its application to solve decision making problem is proposed.
متن کاملReasoning About Knowledge and Action in an Epistemic Event Calculus
We present a generalization of classical-logic Event Calculus that facilitates reasoning about non-binary-valued fluents in domains with non-deterministic, triggered, concurrent, and possibly conflicting actions. We show how this framework may be used as a basis for a “possible-worlds” style approach to epistemic and causal reasoning in a narrative setting. In this framework an agent may gain k...
متن کاملAn Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future
We present a generalisation of the Event Calculus, specified in classical logic and implemented in ASP, that facilitates reasoning about non-binary-valued fluents in domains with non-deterministic, triggered, concurrent, and possibly conflicting actions. We show via a case study how this framework may be used as a basis for a “possible-worlds” style approach to epistemic and causal reasoning in...
متن کاملCumulative Effects of Concurrent Actions on Numeric-Valued Fluents
We propose a situation calculus formalization of action domains that include numeric-valued fluents (so-called additive or measure fluents) and concurrency. Our approach allows formalizing concurrent actions whose effects increment/decrement the value of additive fluents. For describing indirect effects, we employ mathematical equations in a manner that is inspired by recent work on causality a...
متن کاملRepresenting Action Domains with Numeric-Valued Fluents
We present a general method to formalize action domains with numericvalued fluents whose values are incremented or decremented by executions of actions, and show how it can be applied to the action description language C+ and to the concurrent situation calculus. This method can handle nonserializable concurrent actions, as well as ramifications on numeric-valued fluents, which are described in...
متن کامل